COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M0BASL30\M1BASI30\M2NGR40\M3NGR25\M4NGR20\MFSTA200\
C00008 ENDMK
C⊗;
\\M0BASL30;\M1BASI30;\M2NGR40;\M3NGR25;\M4NGR20;\MFSTA200;\;
\'3;↓↓\FFS\F2
\'3;↓Q\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4



ARTIFICIAL INTELLIGENCE LABORATORY\←L\-R\/'7;\+R\→.\→S   Telephone:
COMPUTER SCIENCE DEPARTMENT\←S\→.415-497-4430
\F0\C20 December 1974







Miss Jean M. Hodgson
Senior Administrative Officer
University of Edinburgh
Faculty of Science Office
West Mains Road
Edinburgh EH9 3JY SCOTLAND

Dear Miss Hodgson:

\JIn regard to your letter of 12 December concerning Mr. A.J.R.G. Milner's
recommendation for a Readership at your University,
I have essentially nothing new to add or subtract from my previous 
recommendation except that the project that
he has undertaken to advance proof checking seems to be well
conceived.\.

\←L\→S\←R\-L\/'2;\+L\→L
Sincerely yours,





John McCarthy
Director, Artificial Intelligence Laboratory
Professor of Computer Science
\←S\→L
JMC:pw
hodgso.le1[let,jmc]:SU-AI